机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统
机译:Isabelle / Hol的认证量子计算
机译:SPARC指令集架构和TSO内存模型的isabelle / HOL形式化
机译:Isabelle / HOL关于高速公路交通安全的空间推理
机译:在HOL中构建已验证的硬件和已验证的堆栈
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:使用Isabelle / Hol从大会视角来验证智能城市中的内容互联网的操作系统